Non-transitive linear temporal logic and logical knowledge operations
نویسندگان
چکیده
منابع مشابه
Non-transitive linear temporal logic and logical knowledge operations
We study a linear temporal logic LTLNT with non-transitive time (with NEXT and UNTIL) and possible interpretations for logical knowledge operations in this approach. We assume time to be non-transitive, linear and discrete, it is a major innovative part of our article. Motivation for our approach that time might be non-transitive and comments on possible interpretations of logical knowledge ope...
متن کاملLinear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility
The paper studies problems of satisfiability, decidability and admissibility of inference rules, conceptions of knowledge and agent’s knowledge in non-transitive temporal linear logic LTLPast,m. We find algorithms solving mentioned problems, justify our approach to consider linear non-transitive time with several examples. Main, most complicated, technical new result is it decidability of LTLPa...
متن کاملLogical consecutions in discrete linear temporal logic
We investigate logical consequence in temporal logics in terms of logical consecutions, i.e. inference rules. First, we discuss the question: what does it mean for a logical consecution to be ’correct’ in a propositional logic. We consider both valid and admissible consecutions in linear temporal logics and discuss the distinction between these two notions. The linear temporal logic LDTL, consi...
متن کاملLinear temporal logic with until and next, logical consecutions
While specifications and verifications of concurrent systems employ Linear Temporal Logic (LT L), it is increasingly likely that 4 logical consequence in LT L will be used in the description of computations and parallel reasoning. Our paper considers logical 5 consequence in the standard LT L with temporal operations U (until) and N (next). The prime result is an algorithm recognizing 6 consecu...
متن کاملA Note on Parameterised Knowledge Operations in Temporal Logic
We consider modeling the conception of knowledge in terms of temporal logic. The study of knowledge logical operations is originated around 1962 by representation of knowledge and belief using modalities. Nowadays, it is very good established area. However, we would like to look to it from a bit another point of view, our paper models knowledge in terms of linear temporal logic with past. We co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2015
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exv016